ARPHA: a software prototype for fault detection, identification and recovery in autonomous spacecrafts
نویسندگان
چکیده
is paper introduces a software prototype called ARPHA for on-board diagnosis, prognosis and recovery. e goal is to allow the design of an innovative on-board FDIR (Fault Detection, Identification and Recovery) process for autonomous systems, able to deal with uncertain system/environment interactions, uncertain dynamic system evolution, partial observability and detection of recovery policies taking into account imminent failures. We propose to base the inference engine of ARPHA on Dynamic Probabilistic Graphical Models suitable to reason about system evolution with control actions, over a finite time horizon. e model needed by ARPHA is derived from standard dependability modeling, exploiting an extension of the Dynamic Fault Tree language, called EDFT. We finally discuss the software architecture of ARPHA, where on-board FDIR is implemented and we provide some preliminary results on simulation scenarios for Mars rover activities.
منابع مشابه
Arpha: an Fdir Architecture for Autonomous Spacecrafts Based on Dynamic Probabilistic Graphical Models
This paper introduces a formal architecture for onboard diagnosis, prognosis and recovery called ARPHA. ARPHA is designed as part of the ESA/ESTEC study called VERIFIM (Verification of Failure Impact by Model checking). The goal is to allow the design of an innovative on-board FDIR (Fault Detection, Identification and Recovery) process for autonomous systems, able to deal with uncertain system/...
متن کاملIdentification and Robust Fault Detection of Industrial Gas Turbine Prototype Using LLNF Model
In this study, detection and identification of common faults in industrial gas turbines is investigated. We propose a model-based robust fault detection(FD) method based on multiple models. For residual generation a bank of Local Linear Neuro-Fuzzy (LLNF) models is used. Moreover, in fault detection step, a passive approach based on adaptive threshold is employed. To achieve this purpose, the a...
متن کاملFDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B
On-board Fault Detection, Isolation and Recovery (FDIR) systems are considered to ensure the safety and to increase the autonomy of spacecrafts. They shall be carefully designed and validated. Their implementation involves a relevant knowledge of items like functions and architectures of the system, and a fault model in relation with these items. Thus, the event-B method is well suited to corre...
متن کاملObjectAgent for Robust Autonomous Control
The ObjectAgent system is being developed to create a robust software architecture for autonomous control of complex systems. Agents are used to implement all of the software functionality and communicate through simplified natural language messages. These agents have a set of basic survival skills that monitor for internal software faults, providing low-level fault detection and recovery. High...
متن کاملAutomated Diagnosis for Fault Detection, Identification and Recovery
This proposal is concerned with detecting and recovering from faults during operation of Autosub6000 using two different fault detection, identifocation, and recovery techniques, the Livingstone 2 system and particle filter-based diagnosis algorithms. This is in response to SOFI priority topic 24: Development of automatic fault detection and intervention strategies to enhance reliability for au...
متن کامل